1. Formal system verification : state-of-the-art and future trends
المؤلف: Rolf Drechsler, editor
المکتبة: (طهران)
موضوع: ، Computer systems -- Verification,، Computer software -- Verification,، Integrated circuits -- Verification,، Electronic systems
رده :
QA
76
.
76
.
V47F6
